441. Formal specification and software development
پدیدآورنده: Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575


442. Formal specification of interactive graphics programming languages
پدیدآورنده: Mallgren, William Roberts
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Computer graphics
رده :
T
385
.
M34
1983


443. Formal specification of interactive graphics programming languages
پدیدآورنده: / William R. Mallgren
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers)- Computer graphics
رده :
T385
.
M34
1983


444. Formal syntax and semantics of Java
پدیدآورنده: Jim Alves-Foss )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1523


445. Formal syntax and semantics of Java
پدیدآورنده: / Jim Alves-Foss (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Java (Computer program language),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999


446. Formal syntax and semantics of Java
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;

447. Formal syntax and semantics of programming languages :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Syntax. ;

448. Formal syntax and semantics of programming languages
پدیدآورنده: / Kenneth Slonneger, Barry L. Kurtz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
S59
,
1995


449. Formal syntax and semantics of programming languages : a laboratory based approach
پدیدآورنده: Slonneger, Kenneth.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
S59
1995


450. Foundations of Programming Languages /
پدیدآورنده: by Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65


451. Foundations of Qt development
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: (Computer program language) ; Programming languages (Electronic computers) ; ++Computer programming. ; Graphical user interfaces (Computer systems) ; C

452. Foundations of computer programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming. ; Programming languages (Electronic computers) ; Browsers (Computer programs) ;

453. Foundations of logic programming
پدیدآورنده: J.W. Lloyd
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987


454. Foundations of logic programming
پدیدآورنده: Lloyd, John Wylie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984


455. Foundations of logic programming
پدیدآورنده: Lloyd, J. W.)John Wylie(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987


456. Foundations of logic programming
پدیدآورنده: J.W. Lloyd
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987


457. Foundations of object-oriented languages
پدیدآورنده: / Kim B. Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Object-oriented programming (Computer science),Programming languages (Electronic computers)
رده :
QA
,
76
.
64
,.
B776
,
2002


458. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
64
.
R49
1990


459. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489


460. Foundations of programming languages /
پدیدآورنده: Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7

